reduction theorem

[数] 约化定理